package kbl.language;

public interface StrategyRE2NFA {
	public NFAState RE2NFA(RegularExpression postfixRE);
	
	public NFAState addNFA(RegularExpression postfixRE);
	
	public NFAState getRootNFA();

	public NFAState getCurrentNFA();

	public void incStatecount();

	public int getStatecount();

	public void incMatchcount();

	public int getMatchcount();
	
	public boolean match(RegularExpression postfixRE, String input);

	public boolean match(String string);

	public void clearRootNFA();
}